$\forall$$A$, $B$:MsgA. ma{-}frame{-}compatible($A$;$B$) $\Rightarrow$ ma{-}frame{-}compatible($B$;$A$)